Moshe Y. Vardi: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (19)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Reasoning About Knowledge

Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 2.80 MB

0 / 0

english, 1995

2

Communications of the ACM - September 2016

Communications of the ACM - September 2016

Moshe Y. Vardi (Editor-in-Chief)

Տարի:

2016

Լեզու:

english

Ֆայլ:

PDF, 12.64 MB

0 / 0

english, 2016

3

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 7.47 MB

0 / 0

english, 1998

4

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 2.87 MB

0 / 0

english, 1994

5

Как научиться правельно целоваться

Как научиться правельно целоваться

Интернет

Georg Gottlob, Moshe Y. Vardi

Տարի:

2008

Լեզու:

russian

Ֆայլ:

DOC, 387 KB

0 / 0

russian, 2008

6

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 5.46 MB

0 / 0

english, 2002

7

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 4.05 MB

0 / 0

english, 1995

8

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 4.63 MB

0 / 0

english, 2002

9

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 6.92 MB

0 / 0

english, 1995

10

Reasoning About Knowledge

Reasoning About Knowledge

Ronald Fagin & Yoram Moses & Joseph Y Halpern & Moshe Y Vardi

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 13.72 MB

0 / 0

english, 2003

11

Reasoning About Knowledge

Reasoning About Knowledge

Ronald Fagin & Yoram Moses & Joseph Y Halpern & Moshe Y Vardi

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 7.30 MB

0 / 0

english, 2003

12

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 4.01 MB

0 / 0

english, 2007

13

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 4.55 MB

0 / 0

english, 2001

14

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 4.08 MB

0 / 0

english, 2003

15

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Տարի:

1984

Լեզու:

english

Ֆայլ:

PDF, 16.44 MB

0 / 0

english, 1984

16

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Տարի:

1984

Լեզու:

english

Ֆայլ:

DJVU, 5.65 MB

0 / 0

english, 1984

17

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 7.92 MB

0 / 0

english, 2005

18

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 5.51 MB

0 / 0

english, 1998

19

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

DJVU, 4.19 MB

0 / 0

english, 2005